Softw Syst Model:525–532 DOIs10270EDITORIAL In memory of Robert B. France, Co-Founder and Editor-in-Chief

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Computing
• ISO standards
• Bernhard Rumpe
• Unified Modeling Language
• Kevin Lano
• Software and Systems Modeling
• Modeling language
• Jean-Marc Jzquel
• Domain-specific modeling
• Enterprise engineering

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

Appears in Working Notes of the AAAI Spring Symposium on Real-Time Autonomous Systems Stanford, CA, March 2000 Modeling and Verication for Automatic Synthesis of Real-time Controllers Robert P. Goldman, Michael J. Pelic

Source URL: musliner.com

Call for Papers Fourth International Workshop on Epigenetic Robotics: Modeling Cognitive Development in Robotic Systems http://www.epigenetic-robotics.org August 25-27, 2004

Source URL: www.liralab.it

Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification Peter Gaˇzi1,2 and Ueli Maurer1 1 2

Source URL: pub.ist.ac.at

• Control theory
• Mathematical modeling
• State-space representation
• Expected value
• Probability theory
• Systems theory
• Statistics

Simulation Optimization of Police Patrol District Design Using an Adjusted Simulated Annealing Approach Yue Zhang, Donald Brown Predictive Technology Laboratory, Department of Systems and Information Engineering, Univers

Source URL: ptl.sys.virginia.edu

• Scientific modeling
• Operations research
• Applied mathematics
• Metaheuristics
• Simulated annealing
• Simulation
• Numerical analysis
• Algorithm
• Computer simulation
• Annealing
• Discrete event simulation
• Mathematical optimization

1140 Energy & Fuels 2009, 23, 1140–1146 Modeling Asphaltene Phase Behavior in Crude Oil Systems Using the Perturbed Chain Form of the Statistical Associating Fluid

Source URL: porousmedia.rice.edu

Tools and Workflows in Geospatial Environmental Planning and Management … or: Environmental Models in the Web Ari Jolma, Ioan Ferencik, Teemu Kokkonen Aalto University, Finland

Source URL: webmgs2010.como.polimi.it

• Workflow technology
• Information systems
• Groupware
• Management
• Process management
• Workflow
• Scientific modelling
• Business process modeling
• Conceptual model
• Decision support system
• Kepler scientific workflow system

INTEGRATION OF MODELING AND OBSERVING SYSTEMS BIO-PHYSICAL MODELING ATMOSPHERE-OCEAN INTERACTION DATA ASSIMILATION MODEL COUPLING AND ADAPTIVE GRIDS HURRICANE/SEVERE STORM MODELING

Source URL: hycom.rsmas.miami.edu

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

Source URL: www.db.informatik.uni-bremen.de

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language